大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Naval Ship Weapon Systems Engineering Station (U.S.) 的图书(共6374本)

Formal Techniques for Networked and Distributed Systems-FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

0
索取号：
作者：Derrick、 John.、Vain、 J眉ri.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computational Intelligence for Agent-based Systems [electronic resource]

0
索取号：
作者：Lee、 Raymond S. T.、Loia、 Vincenzo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Intelligent Systems and Signal Processing in Power Engineering [electronic resource]

0
索取号：
作者：Ukil、 Abhisek.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Software Engineering for Multi-Agent Systems V [electronic resource] : Research Issues and Practical Applications

0
索取号：
作者：Choren、 Ricardo.、Garcia、 Alessandro.、Giese、 Holger.、Leung、 Ho-fung.、Lucena、 Carlos.、Romanovsky、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings

0
索取号：
作者：Concas、 Giulio.、Damiani、 Ernesto.、Scotto、 Marco.、Succi、 Giancarlo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Distributed Computing in Sensor Systems [electronic resource] : Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007. Proceedings

0
索取号：
作者：Aspnes、 James.、Scheideler、 Christian.、Arora、 Anish.、Madden、 Samuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Testing of Software and Communicating Systems [electronic resource] : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

0
索取号：
作者：Petrenko、 Alexandre.、Veanes、 Margus.、Tretmans、 Jan.、Grieskamp、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Systems Biology and Computational Proteomics [electronic resource] : Joint RECOMB 2006 Satellite Workshops on Systems Biology and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers

0
索取号：
作者：Ideker、 Trey.、Bafna、 Vineet.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Nature Inspired Problem-Solving Methods in Knowledge Engineering [electronic resource] : Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II

0
索取号：
作者：Mira、 Jos茅.、脕lvarez、 Jos茅 R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

11th Mediterranean Conference on Medical and Biomedical Engineering and Computing 2007 [electronic resource] : MEDICON 2007, 26-30 June 2007, Ljubljana, Slovenia

0
索取号：
作者：Jarm、 Tomaz.、Kramar、 Peter.、Zupanic、 Anze.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Requirements Engineering: Foundation for Software Quality [electronic resource] : 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings

0
索取号：
作者：Sawyer、 Pete.、Paech、 Barbara.、Heymans、 Patrick.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Linearization Methods for Stochastic Dynamic Systems [electronic resource]

0
索取号：
作者：Socha、 Leslaw.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advanced Information Systems Engineering [electronic resource] : 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007. Proceedings

0
索取号：
作者：Krogstie、 John.、Opdahl、 Andreas.、Sindre、 Guttorm.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Topics in Gravitational Dynamics [electronic resource] : Solar, Extra-Solar and Galactic Systems

0
索取号：
作者：Benest、 Daniel.、Froeschle、 Claude.、Lega、 Elena.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Web Reasoning and Rule Systems [electronic resource] : First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings

0
索取号：
作者：Marchiori、 Massimo.、Pan、 Jeff Z.、Marie、 Christian de Sainte.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

0
索取号：
作者：Bonsangue、 Marcello M.、Johnsen、 Einar Broch.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.